:: Int -> CInt -package:type-map package:numhask

Convert from an Int.